Test sample allocation method for testability verification test

An extended failure mode effect and criticality analysis (FMECA)-based sample allocation method for testability verification is presented in this study to deal with the poor representativeness of test sample sets and the randomness of the testability evaluation results caused by unreasonable selection of failure samples. First, the fault propagation intensity is introduced as part of the extended information of FMECA, and the sample allocation impact factors of component units and failure modes are determined under this framework. Then, the failure mode similarity and impact factor support are defined, and the game decision method for weighing the relationship between similarity and support is proposed to obtain the weight of failure mode impact factor. Finally, a two-step allocation framework of test samples is formulated to realize the sample allocation of component units and failure modes. This method is applied to the testability verification test of a launch control system. Results show that this method can obtain more representative test samples compared with the traditional sample allocation method while effectively reducing randomness of single testability evaluation result.     

百万千瓦级核电站轴封型主泵整机集成试验验证优化方案研究

为确保主泵的安全性和可靠性，主泵整机在完成集成设计后需通过试验进行验证。文中介绍了主泵设计与验证的总体思路，提出了主泵工程样机需开展的整机试验项目。基于已有的试验条件，进行了主泵整机集成试验验证方案的优化和可行性分析。分析结果表明，在充分开展主泵各模块、子模块、部件和材料的试验与分析的基础上，可采用小流量试验方案进行主泵整机集成试验验证。      

区域控制器的安全需求建模与自动验证

轨道交通区域控制器（ZC）是我国轨道交通信号系统选型的主流制式——基于通信的列车控制系统（CBTC）的核心子系统，其突出的安全性使得安全需求的形式化验证成为一个非常重要的问题.但是ZC自身的复杂性以及领域知识的繁杂难以掌握，使得形式化方法很难应用到安全需求的验证中去.针对这些问题，提出一种安全需求的自动验证方法，使用半形式化的问题框架方法（PF）来建模和分解安全需求，根据需求模型自动生成安全需求的验证模型和验证性质，在此基础上自动生成验证模型的Scade语言实现，并通过Design Verifier验证器对需求进行组合验证.最后，使用了某个实际案例ZC的一个子问题CAL_EOA进行了研究，实验结果证明了该方法的可行性与有效性，它能自动地将安全需求模型进行组合验证，改善了验证的效率.     

气压仪器检定装置的升级改造

文章针对气压检定装置在使用中存在的一些问题,会同厂家对其进行了升级改造。介绍了改造后的气压检定装置的设计原理、软件和硬件设计以及技术指标等,新装置集成了目前先进的计量设备及技术,编写相应的程序软件升级改造而成。可广泛适用于气象部门空盒气压表、自动站气压传感器以及部分数字压力计的计量检定工作,实现气压检定工作的自动化,提高检定数据的准确性和可靠性,并有效提高检定的工作效率。     

Weighted preliminary-summation-based principal component analysis for non-Gaussian processes

For industrial chemical process, preliminary-summation-based principal component analysis (PS-PCA), an amended PCA method was recently provided for coping with both Gaussian and non-Gaussian characteristics. By summing the training and monitoring data respectively, PS-PCA is capable of resolving the issue of non-Gaussian processes and achieves higher fault detection rate than the traditional PCA. However, in the PS-PCA summation operation, all data samples are regarded as the same weight, which results in the fault information of newly-samples may be diluted, leading to significant detection delays. To address this challenge, in this paper, we propose a novel weighted PS-PCA (WPS-PCA) method that employs an exponential weighting scheme to put more emphasis on recent information. Subsequently, a mathematical argument demonstrates that when the number of variables is enough plentiful, the obtained summation combined with the generalized central limit theorem conforms to approximately a Gaussian distribution. The kurtosis relationships indicate this conversion will bring out well-pleasing feasibility for conventional PCA. Ultimately, the proposed technique verifies detection performance using the Tennessee Eastman process, which is compared with the existing PCA and PS-PCA schemes, in terms of the fault detection time and fault detection rate. The simulation studies reveal that the proposed method is efficient and superior.     

基于协同优化算法的流速仪检定系统设计

提出了一种小型轻便的流速仪检定系统的设计方案,并运用改进的多学科协同优化方法求解各学科设计变量的最优解。首先介绍了算法思想及改进措施,并根据系统设计要求建立了各学科的设计变量、目标函数和约束条件；其次,运用遗传算法求解各学科设计变量的最优解,并根据优化结果完善了系统的设计方案,同时运用计算机仿真等方法验证了优化结果的可行性。结果表明,优化后的检定系统满足流体力学效应、匀速运动时间、系统重量等设计要求,同时证明了协同优化算法解决多学科设计优化问题的有效性。     

A practical data-flow verification scheme for business processes

Data in business processes becomes more and more important. Current standard languages for process modeling like BPMN 2.0 which include the data flow reflect this. Ensuring the correctness of the data flow in processes is challenging. Model checking, i.e., verifying properties of process models, is a well-known technique to this end. An important part of model checking is the construction of the state space of the model. However, state-space explosion typically is in the way of an effective verification. We study how to overcome this problem in our context by means of reduction. More specifically, we propose a reduction on the level of the process model. To our knowledge, this is new for the data-flow analysis of processes. The core of our approach are so-called regions of the process model that are relevant for the verification of properties describing the data flow. Non-relevant regions are candidates for reduction of the process model, yielding a smaller state space. Our evaluation shows that our approach works well on industrial process models.     

黔北桑木场背斜铅锌矿深部找矿实例分析*#br#

黔北桑木场背斜位于上扬子地块黔北隆起区毕节弧形褶皱带与赤水克拉通盆地的交汇部位，属于有利的铅锌成矿区带。区内铅锌矿的赋矿层位主要有震旦系灯影组、寒武系清虚洞组、高台组及石冷水组，矿体多产于背斜核部并受断层或裂隙控制。通过对地层岩性特征、地表矿化特征、控容矿构造特征、化探异常特征、物探异常特征等进行综合研究，选择在成矿有利地段进行了工程验证，为进一步开展桑木场背斜铅锌矿深部找矿工作提供了思路。     

基于可靠度优化扭转梁系统开发成本

基于整车可靠度分解,在置信度、可靠度指标要求下,对系统进行可靠度框图分解,得出零部件级的可靠度要求。简要分析载荷谱的线性累加伪损伤,获取零部件一倍寿命伪损伤值,进而得出最优的样本量区间。根据扭转梁系统R97C50的案例要求,比较扭转梁的零件级试验开发成本、系统级试验开发成本、整车级试验开发成本之间的差异,由零部件试验成本固定为基础,得出系统试验的样本量应该控制为不大于2个样本量,达到优化系统试验成本的目的;使用整车级试验去验证系统级可靠度的成本是系统级试验开发成本的20倍。